Hypersequent Calculi for S5: The Methods of Cut Elimination

S5 is one of the most important modal logic with nice syntactic, semantic and algebraic properties. In spite of that, a successful (i.e. cut-free) formalization of S5 on the ground of standard sequent calculus (SC) was problematic and led to the invention of numerous nonstandard, generalized forms of SC. One of the most interesting framework which was very often used for this aim is that of hypersequent calculi (HC). The paper is a survey of HC for S5 proposed by Pottinger, Avron, Restall, Poggiolesi, Lahav and Kurokawa. We are particularly interested in examining different methods which were used for proving the eliminability/admissibility of cut in these systems and present our own variant of a system which admits relatively simple proof of cut elimination

Hypersequent Calculi - Theory and Application

The present work is a methodological study on different methods of proving cut eliminability in the framework of hypersequent calculi. In particular we provide axiomatic and semantical characterization of modal logic S5 which will serve as a running example of logic for which several solutions were provided. A problem of cut rule and its elimination will be discussed in general and we will show why this result fails to hold for standard sequent calculus for S5. We will introduce hypersequent calculi and characterize several solutions provided for S5 in this setting. Also we will illustrate different methods of proof of cut elimination in hypersequent calculi such a semantical way of proving a system cut-free and a syntactical proof of cut elimination, a general strategy of proof for hyperseunet calculi. Finally we brifly describe a new approach to hypersequents which is based on their interpretation as finite lists of sequents

The state or the process? Analysis of the phenomenon of the nudity at the theatre based on: Hamlet Krzysztof Warlikowski’s, Operetka Jerzy Grzegorzewski’s oraz Towiańczycy, królowie chmur Wiktor Rubin’s

Poniższa praca zatytułowana: „Stan czy wydarzenie? Analiza zjawiska nagości w teatrze na podstawie: Hamleta Krzysztofa Warlikowskiego, Operetki Jerzego Grzegorzewskiego oraz Towiańczyków, królów chmur Wiktora Rubina” została poświęcona analizie zjawiska nagości występującego w teatrze na przykładzie trzech spektakli. Sztuki te zostały wybrane ze względu na fakt występowania w nich różnego rodzaju nagości. Badanie nagości zarówno tej dosłownej, fizycznej, jak i tej, która pozostaje w sferze symbolicznej i wielowymiarowej zostało dokonane na podstawie konkretnego klucza. Są nim rozważania włoskiego filozofa Giorgio Agambena zawarte w jego eseju Nagość. Finalna konkluzja wywodu myśliciela zawiera tezę utożsamiającą nagość z obnażeniem i wydarzeniem, a nie z trwającym stanem. Natomiast punktem wyjścia do rozważań interpretacyjnych i porównawczych nagości kobiecej i męskiej są przemyślenia Johna Bergera zawarte w Sposobach widzenia. W pracy wykorzystana została również stworzona przez Karen Gorham klasyfikacja nagości. Poniższy tekst opiera się na dogłębnej analizie doświadczania nagości w wymienionych wyżej sztukach, a także polemice z teoriami, które nagość jednoznacznie określają i zamykają w pewnych schematach. Analiza trzech zupełnie odmiennych spektakli pokazuje szerokie spektrum interpretacji nagości i jej wykorzystania w teatrze, co prowadzi do wniosku, że w każdym z tym przypadków nagość pozwala się zdefiniować agambenowskim kluczem.The main objective of the thesis " The state or the process? Analysis of the phenomenon of the nudity at the theatre based on: Hamlet Krzysztof Warlikowski’s, Operetka Jerzy Grzegorzewski’s oraz Towiańczycy, królowie chmur Wiktor Rubin’s" is to analyze the phenomenon of nudity in theatre. The plays have been chosen because they present various categories of nudity. There is a particular key according to which the multi level study was conducted. The key is derived from the deliberations of an Italian philosopher Giorgio Agamben and his essay “Nudity”. The final conclusion of the essay is that nudity is a process of uncovering and baring rather than a lasting condition. John Berger and his “Sposoby widzenia” lay the foundations of further comparative and interpretative analysis. Karen Gorham and her categorization of nudity was also taken into account and included in the thesis.It is the experience of nudity in the chosen plays that constitutes the core of the study. Another aim of the dissertation is to question theories according to which nudity can be easily defined and classified. The array of aspects of nudity in the three plays allows for a major conclusion that each case nudity can be defined by the key of Agamben

Functions of the nudity in the advertisement of stage performances

Moja praca została zatytułowana „Funkcje nagości w reklamie widowisk teatralnych.” Zawiera ona studium dwóch przypadków: reklamy „Śmierci i Dziewczyny” w reżyserii Eweliny Marciniak z Teatru Polskiego we Wrocławiu oraz reklamy „Kumernis czyli o tym, jak świętej panience broda rosła” Agaty Dudy-Gracz z Teatru Muzycznego im. Danuty Baduszkowej w Gdyni. By skutecznie zanalizować wybrany przeze mnie temat konieczne było zdefiniowanie kilku kluczowych pojęć między innymi: zarządzania kulturą, instytucji kultury, nagości, ciała, oraz reklamy. Kluczem do badania reklam dwóch przedstawień teatralnych była analiza komunikatu wizualnego zawierającego nagość. W poniższej pracy dowodzę, ze nagość to wielofunkcyjne narzędzie reklamowe, którego wymowa ściśle zależy od: kontekstu, percepcji grupy docelowej oraz nośników, za pośrednictwem których jest powielana.My master's thesis was titled "Functions of the nudity in the advertisement of stage performances." It contains the study of two cases: advertisements of "Śmierć i Dziewczyna" in the direction of Ewelina Marciniak from the Polish Theatre in Wrocław and advertisements "Kumernis czyli o tym, jak świętej panience broda rosła" Agata’s Dudy-Gracz from a Musical Theatre named by Danuta Baduszkowa in Gdynia. In order effectively to analyse the subject chosen by me defining a few crucial notions: managing the culture, the cultural institution, the nudity, the body, and the advertisement. Analysis of the visual announcement containing the nudity was a key to studying advertisements of two theatre performances. At the following work I am commanding, around a nudity is a multifunctional advertising tool, of which the pronunciation closely is depending on: of the context, the perception of the target group and carriers, via which she is being copied

Educational function of events as a way of communications between cultural institutions and society.

Praca ta poświęcona jest problemowi edukacji społecznej realizowanej za pomocą specyficznych procesów komunikacji wykorzystywanych przez instytucje kultury. Stawiam w niej tezę, że organizacja tego typu eventów jak Narodowe Czytanie Aleksandra Fredry z 2013 roku jest bardziej efektywna, celowa i wymierna w skutkach niż jakiekolwiek działanie podjęte przez instytucje kultury na skalę masową. Pierwszy rozdział mojej pracy zawiera definicje kluczowych dla niej pojęć takich jak: społeczeństwo, edukacja, kultura, instytucja kultury, event oraz komunikacja. Aby móc udowodnić moją tezę skupiam się na zagadnieniu komunikacji między nadawcą konkretnego przekazu edukacyjnego a odbiorcą. W drugim rozdziale, w celu udowodnienia wyżej wymienionej tezy posłużyłam się następującymi technikami badawczymi: wywiadem swobodnym, ankietą oraz obserwacją uczestniczącą. Wywiady zostały przeprowadzone z: przedstawicielami Narodowego Centrum Kultury, Kancelarią Prezydenta RP, firmą Top Production oraz z aktorem. W ankiecie ujęłam grupę dwudziestu osób, będącą częścią publiczności Narodowego Czytania. Ostatni rozdział mojej pracy został poświęcony na wnioski wyciągnięte z przeprowadzonych badań. Poziom kulturalny społeczeństwa zależy od polityki społecznej prowadzonej przez instytucje państwowe. Efektywna komunikacja to podstawowe narzędzie jakim się one posługują.The dissertation aims to present and analyze the issue of social education which is implemented by various cultural institutions and numerous channels of communication. The thesis statement is that such events as the National Reading of Aleksander Fredro in 2013 is better defined, more effective and efficient than any mass culture project. The first chapter of my dissertation presents the definitions of such key concepts as: society, education, culture, a cultural institution, an event, and communication. My main concern is to focus on the phenomenon of communication between a sender and a recipient. The main aim of the second chapter is to present three research techniques such as a free interview, a survey, and event observation by participation in real time. Their analysis and conclusions support the main thesis. The interviews were conducted with the representative of the National Center of Culture, the office of the President of Poland, the representative of Top Production firm. The survey was conducted with a focus group of 20 people who took part in the project of the National Reading. The last chapter of the dissertation presents the conclusions of the research. One must not underestimate the importance of social communication when it comes to the process of spreading and developing social culture. There is no culture without communication

Rally as a performance seen from the perspective of its participants

Celem mojej pracy jest wykazanie, że rajd samochodowy jest szczególnym performansem rozgrywającym się wielopłaszczyznowo za równo pod względem czasu jak i przestrzeni. Zwracam tutaj szczególną uwagę na fragmentaryczny charakter przebiegu wydarzenia jakim jest wyścig. Jego specyficzna forma ma wpływ na bezpośredni odbiór zarówno przez uczestników jak i obserwatorów. Poniższa praca została przygotowana na podstawie analizy literatury przedmiotu, własnych obserwacji i wyników wynikających z rozmów z uczestnikami eventu. W pierwszym rozdziale zamieszczam krótką historię rajdów samochodowych, która pozwala mi dojść do sformułowania roboczej definicji zawodów samochodowych. W następnym rozdziale korzystając z definicji wykreowanej przez Richarda Schechnera wykażę, że rajd samochodowy jest performansem. Trzeci rozdział poświecę na opis i interpretację wyników rozmów przeprowadzonych z przedstawicielami poszczególnych grup budujących ten event.Ostatni rozdział jest podsumowaniem powyższej pracy. Zawiera wnioski wskazujące na to, że rajd samochodowy jest performansem o specyficznym przebiegu. Tworzy się nowy typ spektaklu w rozumieniu kulturowym i sportowym, którego charakter odpowiada wymogom i oczekiwaniom widza XXI wieku.The main objective of the thesis is to present car rallies as a particular kind of performance which happens on a manifold and complex time and space arena. It is the fragmentary fashion of a rally event matrix that is worth special attention. Its specific form has a direct influence on the way it is perceived by both participants and the audience. The thesis was prepared with reference to subject literature, own experience and observations, and interviews with event participants. The first chapter comprises a short history and origin of car rallies. This way it is possible to draft a definition of a car rally. The aim of the second chapter is to present the definition of a car rally created by Richard Schechner and indicate that a car rally is a performance.The third chapter regards interviews with the participants of the events, their description and interpretation. The last chapter has a major summary of the thesis. The main conclusion is that a car rally is a kind of performance with a particular course of events. It seems we are witnessing the creation a new type of spectacle in both cultural and sport area. Its features meet the requirements and expectations of a XXIst century spectator